51![THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t THE FUTURE OF SET THEORY Saharon Shelah Abstract. Judah has asked me to speak on the future of set theory, so, as the next millennium is coming, to speak on set theory in the next millennium. But we soon cut this down t](https://www.pdfsearch.io/img/5ac190cdd399d9621c77ab886e5dd3dc.jpg) | Add to Reading ListSource URL: shelah.logic.atLanguage: English - Date: 2004-02-29 16:34:20
|
---|
52![The Issues The Theory Analysis of Mathematics The Issues The Theory Analysis of Mathematics](https://www.pdfsearch.io/img/ff29d4b7d16f448694d36a4153f65739.jpg) | Add to Reading ListSource URL: www.bris.ac.ukLanguage: English - Date: 2011-04-08 07:10:10
|
---|
53![](https://www.pdfsearch.io/img/8a388f1904f7498af702f49676bc42ba.jpg) | Add to Reading ListSource URL: www.super-scientist-guru-rupnathji.netau.netLanguage: English - Date: 2013-01-22 04:56:23
|
---|
54![The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed]](https://www.pdfsearch.io/img/df20a5808482847039b8d4769e622698.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2003-10-29 08:25:04
|
---|
55![Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed] Mechanizing Set Theory Cardinal Arithmetic and the Axiom of Choice Lawrence C. Paulson Computer Laboratory, University of Cambridge email: [removed]](https://www.pdfsearch.io/img/71882df55c245fb8d5870779b3095ed9.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2003-04-29 07:49:46
|
---|
56![An extended predicative definition of the Mahlo universe Reinhard Kahle An extended predicative definition of the Mahlo universe Reinhard Kahle](https://www.pdfsearch.io/img/8811c3ed307508f6a682d444236e24df.jpg) | Add to Reading ListSource URL: www.cs.swan.ac.ukLanguage: English - Date: 2010-02-07 19:53:07
|
---|
57![Axioms of set theory / Z notation / Urelements / Zermelo–Fraenkel set theory / Constructible universe / Axiom of choice / First-order logic / Axiom / Function / Mathematical logic / Logic / Mathematics Axioms of set theory / Z notation / Urelements / Zermelo–Fraenkel set theory / Constructible universe / Axiom of choice / First-order logic / Axiom / Function / Mathematical logic / Logic / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: hp.vector.co.jpLanguage: English - Date: 2004-09-05 11:07:18
|
---|
58![Z notation / Axioms of set theory / Function / Zermelo–Fraenkel set theory / First-order logic / Constructible universe / Axiom of choice / Axiom / Universal quantification / Mathematical logic / Logic / Mathematics Z notation / Axioms of set theory / Function / Zermelo–Fraenkel set theory / First-order logic / Constructible universe / Axiom of choice / Axiom / Universal quantification / Mathematical logic / Logic / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: mplab.ucsd.eduLanguage: English - Date: 2007-07-19 19:21:57
|
---|
59![A NATURAL MODEL OF THE MULTIVERSE AXIOMS VICTORIA GITMAN AND JOEL DAVID HAMKINS A NATURAL MODEL OF THE MULTIVERSE AXIOMS VICTORIA GITMAN AND JOEL DAVID HAMKINS](https://www.pdfsearch.io/img/ea6eb4f9485997dd03e45357914da5c9.jpg) | Add to Reading ListSource URL: websupport1.citytech.cuny.eduLanguage: English - Date: 2010-08-08 09:40:15
|
---|
60![arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY arXiv:math/0211397v1 [math.LO] 26 Nov[removed]THE FUTURE OF SET THEORY](https://www.pdfsearch.io/img/3eb8065eff2272d72a9917d40853e7cd.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2008-02-01 06:34:09
|
---|